121. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
1
.
L4
v
.
811
122. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
3
.
L28
no
.
811
123. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Recursion theory,، Computable functions
رده :
QA
3
.
L28
no
.
811
124. Recursion on the countable functionals
پدیدآورنده : Normann, Day, 7491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
3
.
L28
Vol
.
811
125. #Recursively enumerable sets and degrees
پدیدآورنده : #Robert I. Soare
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Recursive functions ،Computable functions
رده :
#
QA
،#.
S63
126. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
پدیدآورنده : Soare, Robert Irving
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
127. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
پدیدآورنده : Robert I. Soare,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Recursive functions,Computable functions
رده :
QA
.
S63
9
.
615
1987
128. Recursively enumerable sets and degrees :astudy of computable functions and computably generated sets
پدیدآورنده : Soare, Robert Irving
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Recursion functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
129. Recursively enumeralble sets and degrees
پدیدآورنده : Soare, Robert Irving, 0491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
130. Reflexive structures : an introduction to computability theory
پدیدآورنده : Sanchis, Luis E.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
S26
1988
131. Representations of discrete functions
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Computer-aided design,، Computable functions-- Data processing,، Logic design
رده :
TK
7874
.
75
.
R47
1996
132. Set theory for computing : from decision procedures to declarative programming with sets
پدیدآورنده : Cantone, Domenico
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Set theory,، Computable functions
رده :
QA
248
.
C26S4
133. Symbolic computation and education
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : assisted instruction ; Congresses. ; Computable functions ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; -Mathematics ; Computer
134. The foundations of computability theory
پدیدآورنده : Robic, Borut, 0691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Computer science -- Mathematics
رده :
QA
9
.
59
.
R62F6
135. The foundations of computability theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computable functions. ;
136. The incomputable : journeys beyond the Turing barrier
پدیدآورنده : S. Barry Cooper, Mariya I. Soskova, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Unsolvability )Mathematical logic(,، Computable functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
63
.
I52
137. The language of machines :
پدیدآورنده : Robert W. Floyd, Richard Beigel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions.,Formal languages.,Machine theory.,Berechenbarkeit,Computabilidade e modelos de computacao.,Computable functions.,Formal languages.,Formale Sprache,Formale Sprache.,Machine theory.,Maschinensprache,Maschinensprache.,Theoretische Informatik
رده :
QA267
.
3
.
F56
1994
138. <The> theory of computability
پدیدآورنده : / R. Sommerhalder, S.C. Van Westrhenen
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Algorithms,Computational complexity,Computable functions
رده :
QA9
.
58
.
S64
1988
139. The theory of computability : programs, machines, effectiveness, and feasibility
پدیدآورنده : Sommerhalder, R.
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Algorithms,، Computational complexity,، Computable functions
140. The theory of computer science : a programming approach
پدیدآورنده : J. M. Brady,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Programming )Electronic computers(,Machine theory,Computable functions
رده :
QA
.
B697
76
